Test Suite Design for Code Generation Tools
نویسندگان
چکیده
• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Controller Code / * pi ct r l * / #def i ne " ds t ypes. h #def i ne G1 ( I nt 32) 0x
منابع مشابه
Systematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation
Promotion: Technische Universität Berlin, Fakultät für Elektrotechnik und Informatik Erstgutachter: Prof. Dr. Peter Pepper (Technische Universität Berlin) Zweitgutachter: Prof. Dr. Andy Schürr (Technische Universität Darmstadt) Datum der Prüfung: 16.02.2006 Veröffentlichung: Ingo Stürmer, Systematic Testing of Code Generation Tools – A Testsuite oriented Approach for Safeguarding Model-based Co...
متن کاملCode Generator Testing in Practice
This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators.
متن کاملCode Generator Certification: A Test Suite-oriented Approach
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since this code is often deployed in safety-related environments, the quality of the code generators is of high importance. The use of test suites is a promising approach for gaining confidence in the code generators’ correct functioning. This paper gives an overview of such a prac...
متن کاملTracing Execution of Software for Design Coverage
Test suites are designed to validate the operation of a system against requirements. One important aspect of a test suite design is to ensure that system operation logic is tested completely. A test suite should drive a system through all abstract states to exercise all possible cases of its operation. This is a difficult task. Code coverage tools support test suite designers by providing the i...
متن کاملSoftware Verification and Validation Laboratory: Automated Test Suite Generation for Time-Continuous Simulink Models
All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. ...
متن کامل